home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / tman.lha / tman / structure.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1990-10-02  |  2KB  |  47 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="" SRC="|."$dir".q|img2.png"
  6.  ALT="\begin{inset}{}
  7. Returns a new structure type. The {\it typename\/}, which should...
  8. ...ines an {\it stype\/} that handles the predicate {\mbox {\tt EMP?}}.
  9. \end{inset}">|; 
  10. $key = q/{codexenv}(EMPLOYEE-NAMEEMPLOYEE-23){codexenv};AAT/;
  11. $cached_env_img{$key} = q|<IMG
  12.   STYLE="height: 2.17ex; vertical-align: 176.55ex; " SRC="|."$dir".q|img11.png"
  13.  ALT="\begin{codexenv}
  14. (EMPLOYEE-NAME EMPLOYEE-23)
  15. \end{codexenv}">|; 
  16. $key = q/{codexenv}(SET(EMPLOYEE-NAMEEMPLOYEE-23)'FRED){codexenv};AAT/;
  17. $cached_env_img{$key} = q|<IMG
  18.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img12.png"
  19.  ALT="\begin{codexenv}
  20. (SET (EMPLOYEE-NAME EMPLOYEE-23) 'FRED)
  21. \end{codexenv}">|; 
  22. $key = q/{inset}{}Givenaselectorprocedure,e.g.,asreturnedby{{tt{STYPE-SELECTOR},returnsitscorrespondingcomponentname.{inset};AAT/;
  23. $cached_env_img{$key} = q|<IMG
  24.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img9.png"
  25.  ALT="\begin{inset}{}
  26. Given a selector procedure, e.g., as returned by {\tt STYPE-SELECTOR},
  27. returns its corresponding componentname.
  28. \end{inset}">|; 
  29. $key = q/{inset}{}Givenastructuretype{{it{stypeslash},returnsalistofitsselectorprocedures.{inset};AAT/;
  30. $cached_env_img{$key} = q|<IMG
  31.   STYLE="height: 2.17ex; vertical-align: 176.54ex; " SRC="|."$dir".q|img8.png"
  32.  ALT="\begin{inset}{}
  33. Given a structure type {\it stype\/}, returns a list of its selector procedures.
  34. \end{inset}">|; 
  35. $key = q/{inset}{}Returnsthetypeidentifierfor{{it{stypeslash}.{inset};AAT/;
  36. $cached_env_img{$key} = q|<IMG
  37.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img3.png"
  38.  ALT="\begin{inset}{}
  39. Returns the type identifier for {\it stype\/}.
  40. \end{inset}">|; 
  41. $key = q/{inset}{}Returnstrueif{{it{objectslash}isastructure.{inset};AAT/;
  42. $cached_env_img{$key} = q|<IMG
  43.   STYLE="height: 2.38ex; vertical-align: 176.40ex; " SRC="|."$dir".q|img13.png"
  44.  ALT="\begin{inset}{}
  45. Returns true if {\it object\/} is a structure.
  46. \end{inset}">|; 
  47.